Oded Maler (eds.): Z-Library में खोज करें

ज्ञान और संस्कृति के लिए आपका प्रवेश द्वार। सभी के लिए सुलभ।

Don't use scam websites

पुस्तकें (9)
सबसे लोकप्रिय
- इसके अनुसार क्रमबद्ध करें×
- सबसे लोकप्रिय
- सबसे अच्छा मिलान
- हाल ही में जोड़ी गई पुस्तकें
- शीर्षक के अनुसार (A-Z)
- शीर्षक के अनुसार (Z-A)
- साल के अनुसार
- फ़ाइल आकार ↓
- फ़ाइल आकार ↑
सूची
- सूची
- टेबल

1

Hybrid Systems Biology: Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers

Hybrid Systems Biology: Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers

Springer International Publishing

Oded Maler, Ádám Halász, Thao Dang, Carla Piazza (eds.)

साल:

2015

भाषा:

english

फ़ाइल:

PDF, 11.03 MB

0 / 0

english, 2015

2

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Rachid Guerraoui, Michał Kapałka (auth.), Ahmed Bouajjani, Oded Maler (eds.)

साल:

2009

भाषा:

english

फ़ाइल:

PDF, 10.22 MB

0 / 0

english, 2009

3

Hybrid Systems：Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003 Proceedings

Hybrid Systems：Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003 Proceedings

David Berlinski (auth.), Oded Maler, Amir Pnueli (eds.)

साल:

2003

भाषा:

english

फ़ाइल:

PDF, 11.78 MB

5.0 / 4.5

english, 2003

4

Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings

Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Oded Maler (eds.)

साल:

1997

भाषा:

english

फ़ाइल:

DJVU, 3.80 MB

0 / 0

english, 1997

5

Hybrid Systems II

Hybrid Systems II

Springer-Verlag Berlin Heidelberg

Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

साल:

1995

भाषा:

english

फ़ाइल:

DJVU, 6.46 MB

0 / 0

english, 1995

6

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

David Berlinski (auth.), Oded Maler, Amir Pnueli (eds.)

साल:

2003

भाषा:

english

फ़ाइल:

PDF, 9.00 MB

0 / 0

english, 2003

7

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Francois Kempf, Marius Bozga, Oded Maler (auth.), Uli Fahrenberg, Stavros Tripakis (eds.)

साल:

2011

भाषा:

english

फ़ाइल:

PDF, 4.77 MB

0 / 0

english, 2011

8

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Francois Kempf, Marius Bozga, Oded Maler (auth.), Uli Fahrenberg, Stavros Tripakis (eds.)

साल:

2011

भाषा:

english

फ़ाइल:

PDF, 4.32 MB

0 / 0

english, 2011

9

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Rachid Guerraoui, Michał Kapałka (auth.), Ahmed Bouajjani, Oded Maler (eds.)

साल:

2009

भाषा:

english

फ़ाइल:

PDF, 13.29 MB

0 / 0

english, 2009